You can turn on Gitpod’s Safari extension in Settings.

You can turn on Gitpod’s extension in Safari Extensions preferences.

Gitpod’s extension is currently on. You can turn it off in Safari Extensions preferences.

Gitpod’s extension is currently off. You can turn it on in Safari Extensions preferences.